Leslie Lamport

El texto que sigue es una traducción defectuosa. Si quieres colaborar con Wikipedia, busca el artículo original y mejora esta traducción. Copia y pega el siguiente código en la página de discusión del autor de este artículo: {{subst:Aviso mal traducido|Leslie Lamport}} ~~~~

Leslie Lamport
Información personal
Nacimiento	7 de febrero de 1941 (83 años) Nueva York (Estados Unidos)
Nacionalidad	Estadounidense
Lengua materna	Inglés
Educación
Educación	Maestría en ciencias y doctor en Filosofía
Educado en	Instituto Tecnológico de Massachusetts (B.S. en Matemáticas) Universidad Brandeis (Ph.D. y M.S. en Matemáticas) The Bronx High School of Science
Supervisor doctoral	Richard Palais
Información profesional
Ocupación	Matemático, informático teórico, programador, ingeniero y escritor
Área	Ciencias de la computación y computación distribuida
Conocido por	LaTeX Consistencia secuencial Atomic Register Hierarchy Algoritmo de la panadería de Lamport Tolerancia a fallos bizantinos Algoritmo de Paxos Firma de Lamport-Diffie
Empleador	MITRE Corporation (1962-1965) SRI International (1977-1985) Digital Equipment Corporation (1985-2001) Microsoft Research (desde 2001)
Obras notables	computación distribuida LaTeX algoritmo de Paxos
Miembro de	Academia Estadounidense de las Artes y las Ciencias Academia Nacional de Ciencias de los Estados Unidos (desde 2011) Association for Computing Machinery (desde 2015)
Sitio web	www.lamport.org
Distinciones	Premio Dijkstra (2000, 2005 y 2014) IEEE Emanuel R. Piore Award (2004) Medalla John von Neumann (2008) Premio Turing (2013) ACM Fellow (2014)
[editar datos en Wikidata]

Leslie Lamport (Nueva York, EE.UU., 7 de febrero de 1941) es un matemático y científico de la computación estadounidense. Es especialmente conocido por sus trabajos en sistemas distribuidos y por ser el desarrollador inicial del sistema de formateo de textos LaTeX, y de BibTeX.^[1]​ Fue ganador del Premio Turing de 2013 por sus trabajos para imponer coherencia sobre el aparente comportamiento caótico de los sistemas distribuidos, en los cuales varios ordenadores se comunican mediante un mecanismo de paso de mensajes. En su trabajo ha diseñado algoritmos, modelos formales y protocolos de verificación que mejoran la corrección, eficiencia y seguridad de dichos sistemas distribuidos.^[2]​^[3]​^[4]​

1. ↑ Lamport, Leslie (1986). LaTeX: A Document Preparation System. Addison-Wesley. ISBN 0-201-15790-X. Consultado el 2 de febrero de 2007. 
2. ↑ Leslie Lamport fue ganador del Premio Turing de 2013
3. ↑ Lamport, L. (1978). «Time, clocks, and the ordering of events in a distributed system». Communications of the ACM 21 (7): 558-565. doi:10.1145/359545.359563. 
4. ↑ Microsoft Academic Search - 1817419